@inproceedings{alur-15,
  author    = {Rajeev Alur and
               Pavol Cern{\'{y}} and
               Arjun Radhakrishna},
  title     = {{Synthesis Through Unification}},
  booktitle = {{Computer Aided Verification - $27^{th}$ International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part
               {II}}},
  pages     = {163--179},
  year      = {2015},
}

@inproceedings{udupa-transit,
  author    = {Abhishek Udupa and
               Arun Raghavan and
               Jyotirmoy V. Deshmukh and
               Sela Mador{-}Haim and
               Milo M. K. Martin and
               Rajeev Alur},
  title     = {{{\textsc{Transit}:} Specifying Protocols with Concolic Snippets}},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} 2013, Seattle, WA, USA, June 16--19, 2013},
  pages     = {287--296},
  year      = {2013},
}

@article{quinlan-86,
  author    = {J. Ross Quinlan},
  title     = {{Induction of Decision Trees}},
  journal   = {Machine Learning},
  volume    = {1},
  number    = {1},
  pages     = {81--106},
  year      = {1986},
}

@inproceedings{udupa-sygus,
  author    = {Rajeev Alur and
               Rastislav Bod{\'{\i}}k and
               Garvit Juniwal and
               Milo M. K. Martin and
               Mukund Raghothaman and
               Sanjit A. Seshia and
               Rishabh Singh and
               Armando Solar{-}Lezama and
               Emina Torlak and
               Abhishek Udupa},
  title     = {{Syntax-guided Synthesis}},
  booktitle = {{Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20--23, 2013}},
  pages     = {1--8},
  year      = {2013},
}

@inproceedings{reynolds-15,
  author    = {Andrew Reynolds and
               Morgan Deters and
               Viktor Kuncak and
               Cesare Tinelli and
               Clark W. Barrett},
  title     = {{Counterexample-Guided Quantifier Instantiation for Synthesis in {SMT}}},
  booktitle = {{Computer Aided Verification - $27^{th}$ International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18--24, 2015, Proceedings, Part
               {II}}},
  pages     = {198--216},
  year      = {2015},
}

@inproceedings{solar-lezama-05,
  author    = {Armando Solar{-}Lezama and
               Rodric M. Rabbah and
               Rastislav Bod{\'{\i}}k and
               Kemal Ebcio{\u{g}}lu},
  title     = {{Programming by Sketching for Bit-streaming Programs}},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
               Language Design and Implementation, Chicago, IL, USA, June 12-15,
               2005},
  pages     = {281--294},
  year      = {2005},
}


@inproceedings{solar-lezama-06,
  author    = {Armando Solar{-}Lezama and
               Liviu Tancau and
               Rastislav Bod{\'{\i}}k and
               Sanjit A. Seshia and
               Vijay A. Saraswat},
  title     = {{Combinatorial Sketching for Finite Programs}},
  booktitle = {Proceedings of the 12th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2006, San Jose, CA, USA, October 21-25, 2006},
  pages     = {404--415},
}

@inproceedings{garg-16,
  author    = {Pranav Garg and
               Daniel Neider and
               P. Madhusudan and
               Dan Roth},
  title     = {{Learning Invariants using Decision Trees and Implication Counterexamples}},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  pages     = {499--512},
  year      = {2016},
}


@inproceedings{gulwani-pldi-11,
  author    = {Sumit Gulwani and
               Susmit Jha and
               Ashish Tiwari and
               Ramarathnam Venkatesan},
  title     = {{Synthesis of Loop-free Programs}},
  booktitle = {Proceedings of the $\mathit{32^{nd}}$ {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
               June 4--8, 2011},
  pages     = {62--73},
  year      = {2011},
}

@inproceedings{jha-10,
  author    = {Susmit Jha and
               Sumit Gulwani and
               Sanjit A. Seshia and
               Ashish Tiwari},
  title     = {{Oracle-guided Component-based Program Synthesis}},
  booktitle = {Proceedings of the $\mathit{32^{nd}}$ {ACM/IEEE} International Conference on Software
               Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1--8
               May 2010},
  pages     = {215--224},
  year      = {2010},
}


@inproceedings{gulwani-popl-11,
  author    = {Sumit Gulwani},
  title     = {{Automating String Processing in Spreadsheets using Input-output Examples}},
  booktitle = {{Proceedings of the $\mathit{38^{th}}$ {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26--28,
               2011}},
  pages     = {317--330},
  year      = {2011},
}

@inproceedings{schkufza-13,
  author    = {Eric Schkufza and
               Rahul Sharma and
               Alex Aiken},
  title     = {{Stochastic Superoptimization}},
  booktitle = {Architectural Support for Programming Languages and Operating Systems,
               {ASPLOS} 2013, Houston, TX, {USA} - March 16 -- 20, 2013},
  pages     = {305--316},
  year      = {2013},
}

@inproceedings{polozov-15,
  author    = {Oleksandr Polozov and
               Sumit Gulwani},
  title     = {{FlashMeta: A Framework for Inductive Program Synthesis}},
  booktitle = {{Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SLASH} 2015, Pittsburgh, PA, USA, October
               25--30, 2015}},
  pages     = {107--126},
  year      = {2015},
}

@inproceedings{frankle-16,
  author    = {Jonathan Frankle and
               Peter{-}Michael Osera and
               David Walker and
               Steve Zdancewic},
  title     = {{Example-directed Synthesis: A Type-theoretic Interpretation}},
  booktitle = {Proceedings of the $43^{rd}$ Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 -- 22, 2016},
  pages     = {802--815},
  year      = {2016},
}

@inproceedings{osera-15,
  author    = {Peter{-}Michael Osera and
               Steve Zdancewic},
  title     = {{Type-and-example-directed Program Synthesis}},
  booktitle = {Proceedings of the $36^{th}$ {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15--17,
               2015},
  pages     = {619--630},
  year      = {2015},
}

@phdthesis{osera-thesis-15,
 author = {Peter{-}Michael Osera},
 title = {{Program Synthesis with Types}},
 year = {2015},
 school = {University of Pennsylvania},
 address = {Philadelphia, PA, USA},
}

@inproceedings{kneuss-13,
  author    = {Etienne Kneuss and
               Ivan Kuraj and
               Viktor Kuncak and
               Philippe Suter},
  title     = {{Synthesis Modulo Recursive Functions}},
  booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
               Object Oriented Programming Systems Languages {\&} Applications,
               {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
               26-31, 2013},
  pages     = {407--426},
  year      = {2013},
}

@inproceedings{kuncak-10,
  author    = {Viktor Kuncak and
               Mika{\"{e}}l Mayer and
               Ruzica Piskac and
               Philippe Suter},
  title     = {{Comfusy: {A} Tool for Complete Functional Synthesis}},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {430--433},
  year      = {2010},
}

@inproceedings{gvero-13,
  author    = {Tihomir Gvero and
               Viktor Kuncak and
               Ivan Kuraj and
               Ruzica Piskac},
  title     = {{Complete Completion using Types and Weights}},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {27--38},
  year      = {2013},
}

@inproceedings{albarghouthi-13,
  author    = {Aws Albarghouthi and
               Sumit Gulwani and
               Zachary Kincaid},
  title     = {{Recursive Program Synthesis}},
  booktitle = {{Computer Aided Verification - $25^{th}$ International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13--19, 2013}},
  pages     = {934--950},
  year      = {2013},
}

@inproceedings{feser-15,
  author    = {John K. Feser and
               Swarat Chaudhuri and
               Isil Dillig},
  title     = {{Synthesizing Data Structure Transformations from Input-output Examples}},
  booktitle = {Proceedings of the $36^{th}$ {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {229--239},
  year      = {2015},
}

@inproceedings{madhusudan-16-pw,
  author    = {Parthasarathy Madhusudan and
               Daniel Neider and
               Shambwaditya Saha},
  title     = {{Synthesizing Piece-wise Functions by Learning Classifiers}},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - $21^{st}$ International Conference, {TACAS} 2016, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2016, Eindhoven, Netherlands, April 2 -- 8, 2016. Proceedings},
  year      = {2016},
}

@book{bishop-book,
 author = {Bishop, Christopher M.},
 title = {{Pattern Recognition and Machine Learning (Information Science and Statistics)}},
 year = {2006},
 isbn = {0387310738},
 publisher = {Springer-Verlag New York, Inc.},
 address = {Secaucus, NJ, USA},
}

@inproceedings{jeon-15,
  author    = {Jinseong Jeon and
               Xiaokang Qiu and
               Armando Solar{-}Lezama and
               Jeffrey S. Foster},
  title     = {{Adaptive Concretization for Parallel Program Synthesis}},
  booktitle = {Computer Aided Verification - $27^{th}$ International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {II}},
  pages     = {377--394},
  year      = {2015},
}

@inproceedings{saha-15,
  author    = {Shambwaditya Saha and
               Pranav Garg and
               P. Madhusudan},
  title     = {{Alchemist: Learning Guarded Affine Functions}},
  booktitle = {Computer Aided Verification - $27^{th}$ International Conference, {CAV}
               2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
               {I}},
  pages     = {440--446},
  year      = {2015},
}

@inproceedings{starexec,
  author    = {Aaron Stump and
               Geoff Sutcliffe and
               Cesare Tinelli},
  title     = {StarExec: {A} Cross-Community Infrastructure for Logic Solving},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  pages     = {367--373},
  year      = {2014},
  url       = {http://dx.doi.org/10.1007/978-3-319-08587-6_28},
}

